Armin Biere (* 22. April 1967 in Villingen-Schwenningen) ist ein deutscher Informatiker. Er ist seit 2004 Professor für Informatik an der Johannes Kepler Universität (JKU) Linz und leitet das Institut für Formale Modelle und Verifikation. == Leben == Armin Biere promovierte 1997 im Fach Informatik an der Universität Karlsruhe. Zwei Jahre spät...